Mutually complementary partial orders
نویسندگان
چکیده
Two partial orders P = (X, S) and Q = (X, s’) are complementary if P fl Q = {(x, x): x E x} and the transitive closure of P U Q is {(x. y): x, y E X}. We investigate here the size w(n) of the largest set of pairwise complementary par!iai orders on a set of size n. In particular, for large n we construct L?(n/iogrt) mutually complementary partial orders of order n, and show on the other hand that o(n) <0.486n for ail sufficiently large II. This provides an estimate of the maximum number of mutually complementary ?;, topologies on a set of size n.
منابع مشابه
Ordered and Disordered Source Coding
The separation of the information in a vector into order (a permutation) and value (a multiset) is studied. We formulate rate-distortion problems in which order is irrelevant, for which we give conclusive results in cases where the set size approaches infinity. Conversely, we present a distortion measure on partial orders and source coding techniques based on partial orders. Multiple partial or...
متن کاملComplementarity in Quantum Systems
Reduction of a state of a quantum system to a subsystem gives partial quantum information about the true state of the total system. Two subalgebras A1 and A2 of B(H) are called complementary if the traceless subspaces of A1 and A2 are orthogonal (with respect to the Hilbert-Schmidt inner product). When both subalgebras are maximal Abelian, then the concept reduces to complementary observables o...
متن کاملComplementary partial resolution squares for Steiner triple systems
In this paper, we introduce a generalization of frames called partial resolution squares. We are interested in constructing sets of complementary partial resolution squares for Steiner triple systems. Our main result is the existence of six complementary partial resolution squares for Steiner triple systems of order v which can be superimposed in a v × v array so that the resulting array is als...
متن کاملOperationally invariant measure of the distance between quantum states by complementary measurements.
We propose an operational measure of distance of two quantum states, which conversely tells us their closeness. This is defined as a sum of differences in partial knowledge over a complete set of mutually complementary measurements for the two states. It is shown that the measure is operationally invariant and it is equivalent to the Hilbert-Schmidt distance. The operational measure of distance...
متن کاملReduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions
We present a new symbolic method based on partial order reduction to reduce verification problem size and state space of a multi-threaded concurrent system with shared variables and locks. We combine our method with a previous token-based approach that generates verification conditions directly without a scheduler. For a bounded unrolling of threads, the previous approach adds concurrency const...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Discrete Mathematics
دوره 113 شماره
صفحات -
تاریخ انتشار 1993